PALB2 self-interaction controls homologous recombination.

PALB2 is essential for BRCA2 anchorage to nuclear structures and for homologous recombinational repair of DNA double-strand breaks. Here, we report that the N-terminal coiled-coil motif of PALB2 regulates its self-association and homologous recombination. Monomeric PALB2 shows higher efficiency to bind DNA and promotes RAD51 filament formation with or without the inhibitory effect of Replication Protein A. Moreover, overexpression of the PALB2 coiled-coil domain severely affects RAD51 loading to DNA damage sites suggesting a competition between PALB2 self-interaction and PALB2-BRCA1 interaction. In the presence of DNA damage, the switch between PALB2-PALB2 and PALB2-BRCA1 interactions allows the activation of HR. Controlling HR via PALB2 self-interactions could be important to prevent aberrant recombination in normal conditions and activate DNA repair when required

ACME vs PDDL: support for dynamic reconfiguration of software architectures

On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL is a predicative language for the description of planning problems. It has been designed in the AI community for the International Planning Competition of the ICAPS conferences. Several related works have already proposed to encode software architectures into PDDL. Existing planning algorithms can then be used in order to generate automatically a plan that updates an architecture to another one, i.e., the program of a recon guration. In this paper, we improve the encoding in PDDL. Noticeably we propose how to encode ADL types and constraints in the PDDL representation. That way, we can statically check our design and express PDDL constraints in order to ensure that the generated plan never goes through any bad or inconsistent architecture, not even temporarily.Comment: 6\`eme \'edition de la Conf\'erence Francophone sur les Architectures Logicielles (CAL 2012), Montpellier : France (2012

Stabilizing control for power converters connected to transmission lines

This paper proposes a switching control strategy for the set-point stabilization of a power converter connected via a transmission line to a resistive load. The strategy employs a Lyapunov function that is directly based on energy considerations of the power converter, as well as of the transmission line described by the telegraph equations. The proposed stabilizing switching control still allows a certain freedom in the choice of the control law, a comparison between a maximum descent strategy and a minimum commutation strategy being discussed on a simple example.

Improved control strategy to mitigate electromechanical wave propagation using PSS

International audienc

Interactions between BRCA2 and RAD51 for promoting homologous recombination in Leishmania infantum.

In most organisms, the primary function of homologous recombination (HR) is to allow genome protection by the faithful repair of DNA double-strand breaks. The vital step of HR is the search for sequence homology, mediated by the RAD51 recombinase, which is stimulated further by proteins mediators such as the tumor suppressor BRCA2. The biochemical interplay between RAD51 and BRCA2 is unknown in Leishmania or Trypanosoma. Here we show that the Leishmania infantum BRCA2 protein possesses several critical features important for the regulation of DNA recombination at the genetic and biochemical level. A BRCA2 null mutant, generated by gene disruption, displayed genomic instability and gene-targeting defects. Furthermore, cytological studies show that LiRAD51 can no longer localize to the nucleus in this mutant. The Leishmania RAD51 and BRCA2 interact together and the purified proteins bind single-strand DNA. Remarkably, LiBRCA2 is a recombination mediator that stimulates the invasion of a resected DNA double-strand break in an undamaged template by LiRAD51 to form a D-loop structure. Collectively, our data show that LiBRCA2 and LiRAD51 promote HR at the genetic and biochemical level in L. infantum, the causative agent of visceral leishmaniasis

Identifiabilité structurelle et identification de systèmes couplés par les sorties

International audienceCet article s'intéressè a l'identification des syst emes de grande taille qui peuvent etre décomposés en une collection de sous-syst emes couplés par les sorties. Il est d'abord montré que si le syst eme global est structurellement identifiable, alors tous les sous-syst emes le sont egalement, en considérant les sorties comme de nouvelles entrées. Cette propriété est ensuite utilisée pour proposer une procédure d'identification décentralisée. L'efficacité de l'approche pro-posée est illustrée sur un exemple académique. Mots-clés— Identifiabilité structurelle, Identification décen-tralisée, Syst emes de grande taille. I. Introduction Les syst emes technologiques de grande taille tels que les syst emes de transport, les syst emes electriques, les syst emes de bâtiments. . .sont omniprésents dans notre vie moderne. La grande taille de ces syst emes a conduit au développement de diverses techniques pour réduire la complexité de leur etude. Une approche possible est de considérer le grand syst eme comme une collection de nom-breux sous-syst emes plus simples. L'identification [1] est un point crucial pour l'´ elaboration d'une stratégie de contrôle basée sur un mod ele. D'un point de vue pratique, leprobì eme de la taille des syst emes se posé egalement pour l'identification paramétrique. Pour simplifier l'identification des syst emes de grande taille, de nombreux auteurs ont essayé d'exploiter leur structure. Dans [5], le syst eme global est hiérarchisé et une méthode itérative est proposée pour l'identification. Dans [7], les auteurs s' intéressent aux syst emes circulants [3], et ils exploitent leurs propriétés pour définir une procédure originale d'identification. Une autre technique exploite la propriété de découplage en boucle fermée afin de définir une collection d'observateurs décentralisés pour les syst emes non linéaires interconnectés [12]. Dans cet article, nous supposons que le syst eme global est structurellement identifiable. L'identifiabilité structu-relle est une propriété importante quand il faut evaluer les param etres du syst eme, car elle garantit l'unicité des param etres [15]. Dans [13], l'auteur se concentre sur les syst emes compartimentaux pour etudier l'identifiabi-lité structurelle du syst eme global, et dans [4], l'identi-fiabilité pratique peut etre vérifiée pour des conditions suffisantes sur les signaux d'interaction entre les sous-syst emes. Dans ce document, on consid ere un ensemble de syst emes linéaires couplés par leurs sorties. Un exemple est représenté sur la figure 1. De nombreux processus peuvent etre modélisés sous cette forme, c'est le cas par exemple des syst emes thermiques dans les bâtiments [8]

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block diagrams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language Signal.Comment: Workshop on Formal Methods for Aerospace (FMA 2009